first{-}event\{i:l\}(${\it es}$;$e$) $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$(TERMOF\{the{-}first{-}event:ObjectId, 1:l, i:l\}(${\it es}$,$e$)).1